-
1 theory of proof
Математика: теория доказательства -
2 theory of proof
-
3 theory of proof
Англо-русский словарь по исследованиям и ноу-хау > theory of proof
-
4 proof
1) доказательство
2) непроницаемый
3) нормативный
4) пробный отпечаток
5) рашкетный
6) стандартный
7) проверка
8) испытание
9) защищенный
10) обоснование
11) безопасный
12) герметизировать
13) проба
– acid proof
– brush proof
– certificate of proof
– existence proof
– first proof
– foundry proof
– galley proof
– indirect proof
– irreducible proof
– not serving as a proof
– page proof
– press proof
– proof against
– proof by contradiction
– proof load
– proof press
– proof scheme
– proof spirit
– proof strength
– proof theory
– rigorous proof
– without proof
-
5 theory
1) теория
2) <phys.> борновский
3) учение
4) толкование
5) трактовка
6) истолкование
– abandon theory
– accept theory
– acid-base theory
– advance theory
– airfoil theory
– atomic theory
– band theory
– Bardeen-Cooper-Schrieffer theory
– BCS theory
– circuit theory
– classical theory
– collision theory
– combinatorial theory
– communication theory
– control theory
– deductive theory
– dimensional theory
– dislocation theory
– duality theory
– field theory
– formal theory
– gage theory
– Gersho-Rosencwaig theory
– graph theory
– group theory
– ideal theory
– impact theory
– in theory
– informal theory
– information theory
– measure theory
– object theory
– percolation theory
– pertubation theory
– perturbation theory
– probability theory
– proof theory
– quantum theory
– queueing theory
– queuing theory
– ray theory
– reject theory
– relativity theory
– reliability theory
– residue theory
– rigorous theory
– scheduling theory
– second-order theory
– set theory
– shower theory
– similarity theory
– stability theory
– switching-circuit theory
– theory of correspondence
– theory of elasticity
– theory of estimation
– theory of games
– theory of probability
– theory of queues
– theory of relativity
– theory of sampling
– theory of solids
– theory of valuations
– transport theory
additive ideal theory — <math.> теория идеалов аддитивная
barrier theory of cyclogenesis — <meteor.> теория циклогенеза заслоночная
general theory of relativity — <phys.> теория относительности общая
grand unification theory — <phys.> модель большого объединения, модель великого объединения
unified field theory — <phys.> теория поля единая, теория поля обобщенная
Yukawa meson theory — <phys.> теория мезонная юкавская
-
6 theory
1) теория; учение2) толкование; трактовка3) теоретическое объяснение; теоретические основы•- band theory of solids - corpuscular theory of light - general theory of relativity - strongly undecidable theory - wave theory of light - Yukawa meson theory -
7 theory
1) теория; теоретические основы2) метод•- automatic control theory
- axiomatic set theory
- circuit theory
- coding theory
- communication theory
- data theory
- decision theory
- formal theory of testing
- function theory
- game theory
- graph theory
- group theory
- informal theory
- information theory
- lattice theory
- logic theory
- number theory
- OSA theory
- probability theory
- proof theory
- queueing theory
- reliability theory
- renewal theory
- sampling theory
- scheduling theory
- set theory
- similarity theory
- stability theory
- statistical theory
- switching theory
- theory of algorithms
- theory of binary decisions
- theory of computing
- theory of messagesEnglish-Russian dictionary of computer science and programming > theory
-
8 proof theory
circuit theory — теория схем; теория цепей
-
9 proof theory
теория доказательств
—
[Л.Г.Суменко. Англо-русский словарь по информационным технологиям. М.: ГП ЦНИИС, 2003.]Тематики
EN
Англо-русский словарь нормативно-технической терминологии > proof theory
-
10 proof theory
Большой англо-русский и русско-английский словарь > proof theory
-
11 proof theory
-
12 proof theory
1) Техника: теория доказательства2) Вычислительная техника: теория доказательств -
13 theory susceptible of proof
Общая лексика: лёгко доказуемая теорияУниверсальный англо-русский словарь > theory susceptible of proof
-
14 proof theory
English-Russian dictionary of computer science and programming > proof theory
-
15 theory susceptible of proof
-
16 proof theory
-
17 proof theory
-
18 proof theory
Англо-русский словарь по исследованиям и ноу-хау > proof theory
-
19 infallible proof
-
20 formal proof
См. также в других словарях:
Proof theory — is a branch of mathematical logic that represents proofs as formal mathematical objects, facilitating their analysis by mathematical techniques. Proofs are typically presented as inductively defined data structures such as plain lists, boxed… … Wikipedia
Proof of impossibility — A proof of impossibility, sometimes called a negative proof or negative result , is a proof demonstrating that a particular problem cannot be solved, or cannot be solved in general. Often proofs of impossibility have put to rest decades or… … Wikipedia
Theory (mathematical logic) — This article is about theories in a formal language, as studied in mathematical logic. For other uses, see Theory (disambiguation). In mathematical logic, a theory (also called a formal theory) is a set of sentences in a formal language. Usually… … Wikipedia
Theory — The word theory has many distinct meanings in different fields of knowledge, depending on their methodologies and the context of discussion.In science a theory is a testable model of the manner of interaction of a set of natural phenomena,… … Wikipedia
Proof procedure — In logic, and in particular proof theory, a proof procedure for a given logic is a systematic method for producing proofs in some proof calculus of (provable) statements.There are several types of proof calculi. The most popular are natural… … Wikipedia
proof — Informally, a procedure that brings conviction. More formally, a deductively valid argument starting from true premises, that yields the conclusion. Most formally, in proof theory, a proof is a sequence of formulae of which each member is either… … Philosophy dictionary
Proof of concept — is a short and/or incomplete realization (or ) of a certain method or idea(s) to demonstrate its feasibility, or a demonstration in principle, whose purpose is to verify that some concept or theory is probably capable of exploitation in a useful… … Wikipedia
Proof — may refer to: * A rigorous, compelling argument ** Formal proof ** Mathematical proof ** Proof theory, a branch of mathematical logic that represents proofs as formal mathematical objects ** Logical argument ** Evidence (law), tested evidence or… … Wikipedia
proof´er — proof «proof», noun, adjective, verb. –n. 1. a way or means of showing beyond doubt the truth of something: »Is what you say a guess, or have you proof? SYNONYM(S): See syn. under evidence. (Cf. ↑evidence) 2. the establishment of the truth of… … Useful english dictionary
Theory (brand) — theory (marketed in lower case letters) is a New York based men s and women s contemporary better sportswear fashion label known for its clean line and luxuriously simple clothes and accessories. theory merchandise is sold through signature… … Wikipedia
proof — [pro͞of] n. [ME profe < OFr prueve < LL proba < L probare: see PROBE] 1. the act or process of proving; a testing or trying of something 2. anything serving or tending to establish the truth of something, or to convince one of its truth; … English World dictionary